Global square

Global square is an important concept in set theory, a branch of mathematics. Define Sing to be the class of all limit ordinals which are not regular. Global square states that there is a system (C_\beta)_{\beta \in Sing} satisfying:

  1. C_\beta is a club set of \beta.
  2. ot(C_\beta) < \beta
  3. If \gamma is a limit point of C_\beta then \gamma \in Sing and C_\gamma = C_\beta \cap \gamma